Make the theme variants available as themes

This makes it easier to implement the theme switching
in widget-factory, since we don't have a variant setting.

diff --git a/gtk/gen-gtk-gresources-xml.py b/gtk/gen-gtk-gresources-xml.py
index 38a928388d78634279df3260578c4be7a970ea0f..14c90f1ee15a55e89ee736b5f77ffb9c6fa90f44 100644 (file)
--- a/gtk/gen-gtk-gresources-xml.py
+++ b/gtk/gen-gtk-gresources-xml.py
@@ -32,7 +32,12 @@ def get_files(subdir,extension):
 
 xml += '''
     <file>theme/Empty/gtk.css</file>
+
     <file>theme/Default/gtk.css</file>
+    <file alias='theme/Default-dark/gtk.css'>theme/Default/gtk-dark.css</file>
+    <file alias='theme/Default-hc/gtk.css'>theme/Default/gtk-hc.css</file>
+    <file alias='theme/Default-hc-dark/gtk.css'>theme/Default/gtk-hc-dark.css</file>
+
     <file>theme/Default/gtk-light.css</file>
     <file>theme/Default/gtk-dark.css</file>
     <file>theme/Default/gtk-hc.css</file>